home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / cpp_libs / sos3-2.lha / src / agg / Set_scp.c < prev    next >
C/C++ Source or Header  |  1992-01-23  |  14KB  |  377 lines
  1. #line 1 "/fzi/prost/stone/SOS3-2/src/agg/Set.c"
  2. /* --------------------------------------------------------------------------
  3.  * Copyright 1992 by Forschungszentrum Informatik (FZI)
  4.  *
  5.  * You can use and distribute this software under the terms of the licence
  6.  * you should have received along with this program.
  7.  * If not or if you want additional information, write to
  8.  * Forschungszentrum Informatik, "STONE", Haid-und-Neu-Strasse 10-14,
  9.  * D-7500 Karlsruhe 1, Germany.
  10.  * --------------------------------------------------------------------------
  11.  */
  12. // **************************************************************************
  13. // Module Set                       03/07/89           Bernhard Schiefer (bs)
  14. //                                                     modified: 23/7/90 (ja)
  15. //                                                              24/10/91 (bs)
  16. // **************************************************************************
  17. // implements methods of classes: Set
  18. // **************************************************************************
  19.  
  20. #include "agg_err.h"
  21. #include "trc_agg.h"
  22. #include "sys.h"
  23.  
  24. #include "agg_sos.h"
  25.  
  26. // *** Sets are based on Object_sos_Bool_Mappings ***
  27.  
  28. // **************************************************************************
  29. void _sos_Object_Set::local_initialize (sos_Object_Set set)
  30. // **************************************************************************
  31. {  T_PROC ("sos_Object_Set::local_initialize");
  32.    TT (agg_H, T_ENTER);
  33.  
  34.    set.set_m (sos_Object_sos_Bool_Mapping::create
  35.          (set.container(),
  36.           set.get_list_cursor(),
  37.           set.get_based_on_equal()));
  38.  
  39.    TT (agg_H, T_LEAVE);
  40. } // ** local_initialize **
  41.  
  42. // **************************************************************************
  43. void _sos_Object_Set::local_finalize (sos_Object_Set set)
  44. // **************************************************************************
  45. {  T_PROC ("sos_Object_Set::local_finalize");
  46.    TT (agg_H, T_ENTER);
  47.  
  48.    set.get_m().destroy();
  49.  
  50.    TT (agg_H, T_LEAVE);
  51. } // ** local_finalize **
  52.  
  53. // **************************************************************************
  54. void _sos_Object_Set::insert (sos_Typed_id &_tpid,sos_Object o)
  55. // **************************************************************************
  56. // fuege das Objekt o in das Set ein, es wird die Anzahl der danach im
  57. // Set vorhandenen Exemplare geliefert.
  58. {
  59.    T_PROC ("sos_Object_Set::insert");
  60.    TT (agg_H, T_ENTER);
  61.  
  62.    sos_Object_sos_Bool_Mapping m = sos_Object_Set::make(_tpid,this).get_m();
  63.    m.insert (o, TRUE);
  64.  
  65.    TT (agg_H, T_LEAVE);
  66. } // ** insert **
  67.  
  68. // **************************************************************************
  69. void _sos_Object_Set::remove (sos_Typed_id &_tpid,sos_Object o)
  70. // **************************************************************************
  71. // loesche ein Objekt o, es wird TRUE,geliefert, falls es drin war
  72. {  
  73.    T_PROC ("sos_Object_Set::remove");
  74.    TT (agg_H, T_ENTER);
  75.  
  76.    sos_Object_Set::make(_tpid,this).get_m().remove (o);
  77.  
  78.    TT (agg_H, T_LEAVE);
  79. } // ** remove **
  80.  
  81. // **************************************************************************
  82. void _sos_Object_Set::__plus_assign (sos_Typed_id &_tpid,sos_Object_Set aset)
  83. // **************************************************************************
  84. // Nach A += B wurden alle Elemente in B zu A aufaddiert
  85. {
  86.    T_PROC ("sos_Object_Set::operator+=");
  87.    TT (agg_H, T_ENTER);
  88.  
  89.    sos_Object_sos_Bool_Mapping this_m = sos_Object_Set::make(_tpid,this).get_m();
  90.    sos_Object_sos_Bool_Mapping aset_m = aset.get_m();
  91.  
  92.    sos_Cursor cur = aset_m.open_cursor ();
  93.    for (;aset_m.is_valid (cur); aset_m.to_succ (cur))
  94.    {  sos_Object o = aset_m.get_key (cur);
  95.       this_m.insert (o, TRUE);
  96.    } // for
  97.    aset_m.close_cursor (cur);
  98.  
  99.    TT (agg_H, T_LEAVE);
  100. } // ** operator+= **
  101.  
  102. // **************************************************************************
  103. void _sos_Object_Set::__minus_assign (sos_Typed_id &_tpid,sos_Object_Set aset)
  104. // **************************************************************************
  105. // Nach A -= B wurden aus A alle Elemente, die in B sind, entfernt
  106. {  
  107.    T_PROC ("sos_Object_Set::operator-=");
  108.    TT (agg_H, T_ENTER);
  109.  
  110.    sos_Object_sos_Bool_Mapping this_m = sos_Object_Set::make(_tpid,this).get_m();
  111.    sos_Object_sos_Bool_Mapping aset_m = aset.get_m();
  112.  
  113.    sos_Cursor cur = aset_m.open_cursor();
  114.    for (;aset_m.is_valid (cur);aset_m.to_succ (cur))
  115.    {  sos_Object o = aset_m.get_key (cur);
  116.       this_m.remove (o);
  117.    } // for
  118.    aset_m.close_cursor (cur);
  119.  
  120.    TT (agg_H, T_LEAVE);
  121. } // ** operator-= **
  122.  
  123. // **************************************************************************
  124. void _sos_Object_Set::__times_assign (sos_Typed_id &_tpid,sos_Object_Set aset)
  125. // **************************************************************************
  126. // Liefert die Schnittmenge von A und B in A,
  127. // Also entferne aus self alle Elemente, die nicht in aset sind
  128. {
  129.    T_PROC ("sos_Object_Set::operator*=");
  130.    TT (agg_H, T_ENTER);
  131.  
  132.    sos_Object_sos_Bool_Mapping aset_m = aset.get_m();
  133.    sos_Object_sos_Bool_Mapping this_m = sos_Object_Set::make(_tpid,this).get_m();
  134.  
  135.    sos_Cursor cur = this_m.open_cursor();
  136.    for (;this_m.is_valid (cur);)
  137.    {  sos_Object o = this_m.get_key (cur);
  138.       if (NOT aset_m.is_key (o))
  139.          this_m.remove_at (cur);
  140.       else
  141.          this_m.to_succ (cur);
  142.    } // for 
  143.    this_m.close_cursor (cur);
  144.  
  145.    TT (agg_H, T_LEAVE);
  146. } // ** operator*= **
  147.  
  148. // **************************************************************************
  149. sos_Bool _sos_Object_Set::__less (sos_Typed_id &_tpid,sos_Object_Set aset)
  150. // **************************************************************************
  151. // Liefert TRUE zurueck, wenn jedes Element aus this auch in aset ist
  152. // und aset mindestens ein Element mehr enthaelt
  153. { 
  154.    T_PROC ("sos_Object_Set::operator<");
  155.    TT (agg_H, T_ENTER);
  156.  
  157.    sos_Object_sos_Bool_Mapping aset_m = aset.get_m();
  158.    sos_Object_sos_Bool_Mapping this_m = sos_Object_Set::make(_tpid,this).get_m();
  159.    sos_Bool result = TRUE;
  160.  
  161.    if (this_m.card() >= aset_m.card())
  162.       result = FALSE;
  163.    else
  164.    {  sos_Cursor cur = this_m.open_cursor();
  165.       for (;this_m.is_valid (cur);this_m.to_succ (cur))
  166.       {  sos_Object o = this_m.get_key (cur);
  167.          if (NOT aset_m.is_key (o))
  168.          {  result = FALSE;
  169.             break;
  170.          }
  171.       } // for
  172.       this_m.close_cursor (cur);
  173.    }
  174.  
  175.    TT (agg_H, T_LEAVE);
  176.    return result;
  177. } // ** operator< **
  178.  
  179. // **************************************************************************
  180. sos_Bool _sos_Object_Set::__less_equal (sos_Typed_id &_tpid,sos_Object_Set aset)
  181. // **************************************************************************
  182. // Liefert TRUE zurueck, wenn jedes Element aus this auch in aset ist
  183. { 
  184.    T_PROC ("sos_Object_Set::operator<=");
  185.    TT (agg_H, T_ENTER);
  186.  
  187.    sos_Object_sos_Bool_Mapping aset_m = aset.get_m();
  188.    sos_Object_sos_Bool_Mapping this_m = sos_Object_Set::make(_tpid,this).get_m();
  189.    sos_Bool result = TRUE;
  190.  
  191.    // pruefe zuerst, ob die Anzahl der Elemente schon ein Ergebnis liefert
  192.    if (this_m.card() > aset_m.card())
  193.       result = FALSE;
  194.    else
  195.    {  sos_Cursor cur = this_m.open_cursor();
  196.       for (;this_m.is_valid (cur); this_m.to_succ (cur))
  197.       {  sos_Object o = this_m.get_key (cur);
  198.          if (NOT aset_m.is_key (o))
  199.          {  result = FALSE;
  200.             break;
  201.          }
  202.       } // for
  203.       this_m.close_cursor (cur);
  204.    }
  205.    TT (agg_H, T_LEAVE);
  206.    return result;
  207. } // ** operator<= **
  208.  
  209. // **************************************************************************
  210. sos_Bool _sos_Object_Set::__greater (sos_Typed_id &_tpid,sos_Object_Set aset)
  211. { return sos_Bool (aset < sos_Object_Set::make(_tpid,this)); }
  212. // **************************************************************************
  213.  
  214. // **************************************************************************
  215. sos_Bool _sos_Object_Set::__greater_equal (sos_Typed_id &_tpid,sos_Object_Set aset)
  216. { return sos_Bool (aset <= sos_Object_Set::make(_tpid,this)); }
  217. // **************************************************************************
  218.  
  219. // **************************************************************************
  220. void _sos_Object_Set::local_assign (sos_Object_Set x, sos_Object o)
  221. // **************************************************************************
  222. {  T_PROC ("sos_Object_Set::local_assign");
  223.    TT(agg_H, T_ENTER);
  224.  
  225.    sos_Object_Set y = sos_Object_Set::make (o);
  226.    x.get_m().assign (y.get_m());
  227.  
  228.    TT(agg_H, T_LEAVE);
  229. } // local_assign
  230.  
  231. // **************************************************************************
  232. sos_Bool _sos_Object_Set::local_equal (sos_Object_Set x,
  233.                       sos_Object     o,
  234.                        sos_Eq_kind    eq_kind)
  235. // **************************************************************************
  236. {  T_PROC ("sos_Object_Set::local_equal");
  237.    TT(agg_H, T_ENTER);
  238.    
  239.    sos_Bool result;
  240.  
  241.    if ((eq_kind EQ EQ_STRONG AND NOT o.has_type (x.type())) OR
  242.        (eq_kind EQ EQ_WEAK   AND NOT o.isa      (x.type())))
  243.       result = FALSE;
  244.    else
  245.    {  sos_Object_Set y = sos_Object_Set::make (o);
  246.       result = x.get_m().equal (y.get_m(), eq_kind);
  247.    }
  248.  
  249.    TT(agg_H, T_LEAVE);
  250.    return result;
  251. } // local_equal
  252.  
  253. // **************************************************************************
  254. sos_Int _sos_Object_Set::local_hash_value (sos_Object_Set x)
  255. // **************************************************************************
  256. {  T_PROC ("sos_Object_Set::local_hash_value");
  257.    TT(agg_H, T_ENTER);
  258.    
  259.    sos_Int result = x.get_m().hash_value ();
  260.  
  261.    TT(agg_H, T_LEAVE);
  262.  
  263.    return result;
  264. } // local_hash_value
  265.  
  266. // **************************************************************************
  267. sos_Bool _sos_Object_Set::is_element (sos_Typed_id &_tpid,sos_Object o)
  268. // **************************************************************************
  269. {  T_PROC ("sos_Object_Set::is_element");
  270.    TT (agg_H, T_ENTER);
  271.  
  272.    sos_Bool result = sos_Object_Set::make(_tpid,this).get_m().is_key (o);
  273.  
  274.    TT (agg_H, T_LEAVE);
  275.    return result;
  276. } // ** is_element(sos_Object)
  277.  
  278. // **************************************************************************
  279. sos_Object _sos_Object_Set::get (sos_Typed_id &_tpid,sos_Cursor c)
  280. // **************************************************************************
  281. {  T_PROC ("sos_Object_Set::get");
  282.    TT (agg_H, T_ENTER);
  283.  
  284.    sos_Object o = sos_Object_Set::make(_tpid,this).get_m().get_key (c);
  285.  
  286.    TT (agg_H, T_LEAVE);
  287.    return o;
  288. } // ** get **
  289.  
  290. // **************************************************************************
  291. void _sos_Object_Set::remove_at (sos_Typed_id &_tpid,sos_Cursor c)
  292. // **************************************************************************
  293. {  T_PROC ("sos_Object_Set::remove_at");
  294.    TT (agg_H, T_ENTER);
  295.  
  296.    sos_Object_Set::make(_tpid,this).get_m().remove_at (c);
  297.  
  298.    TT (agg_H, T_LEAVE);
  299. } // ** remove_at **
  300.  
  301. // **************************************************************************
  302. void _sos_Object_Set::clear(sos_Typed_id &_tpid)
  303. // **************************************************************************
  304. {  T_PROC ("sos_Object_Set::clear");
  305.    TT (agg_H, T_ENTER);
  306.    
  307.    sos_Object_Set::make(_tpid,this).get_m().clear();
  308.  
  309.    TT (agg_H, T_LEAVE);
  310. } // ** clear
  311.  
  312. // **************************************************************************
  313. sos_Int _sos_Object_Set::card (sos_Typed_id &_tpid)
  314. // **************************************************************************
  315. {  return sos_Object_Set::make(_tpid,this).get_m().card ();
  316. } // card
  317.  
  318. // **************************************************************************
  319. sos_Cursor _sos_Object_Set::open_cursor (sos_Typed_id &_tpid,sos_Container Cursor_ct)
  320. // **************************************************************************
  321. {  return sos_Object_Set::make(_tpid,this).get_m().open_cursor (Cursor_ct);
  322. } // open_cursor
  323.  
  324. // **************************************************************************
  325. void _sos_Object_Set::close_cursor (sos_Typed_id &_tpid,sos_Cursor c)
  326. // **************************************************************************
  327. {  sos_Object_Set::make(_tpid,this).get_m().close_cursor (c);
  328. } // close_cursor
  329.  
  330. // **************************************************************************
  331. sos_Cursor _sos_Object_Set::duplicate (sos_Typed_id &_tpid,sos_Cursor c)
  332. // **************************************************************************
  333. {  return sos_Object_Set::make(_tpid,this).get_m().duplicate (c);
  334. } // duplicate
  335.  
  336. // **************************************************************************
  337. sos_Bool _sos_Object_Set::is_valid (sos_Typed_id &_tpid,sos_Cursor c)
  338. // **************************************************************************
  339. {  return sos_Object_Set::make(_tpid,this).get_m().is_valid (c);
  340. } // ** is_valid **
  341.  
  342. // **************************************************************************
  343. sos_Bool _sos_Object_Set::to_first (sos_Typed_id &_tpid,sos_Cursor c)
  344. // **************************************************************************
  345. {  return sos_Object_Set::make(_tpid,this).get_m().to_first (c);
  346. } // to_first
  347.  
  348. // **************************************************************************
  349. sos_Bool _sos_Object_Set::to_last (sos_Typed_id &_tpid,sos_Cursor c)
  350. // **************************************************************************
  351. {  return sos_Object_Set::make(_tpid,this).get_m().to_last (c);
  352. } // to_last
  353.  
  354. // **************************************************************************
  355. sos_Bool _sos_Object_Set::to_succ (sos_Typed_id &_tpid,sos_Cursor c, sos_Int steps)
  356. // **************************************************************************
  357. {  T_PROC ("sos_Object_Set::to_succ");
  358.    TT (agg_H, T_ENTER);
  359.  
  360.    sos_Bool result = sos_Object_Set::make(_tpid,this).get_m().to_succ (c, steps);
  361.  
  362.    TT (agg_H, T_LEAVE);
  363.    return result;
  364. } // ** to_succ**
  365.  
  366. // **************************************************************************
  367. sos_Bool _sos_Object_Set::to_pred (sos_Typed_id &_tpid,sos_Cursor c, sos_Int steps)
  368. // **************************************************************************
  369. {  T_PROC ("sos_Object_Set::to_pred");
  370.    TT (agg_H, T_ENTER);
  371.  
  372.    sos_Bool result = sos_Object_Set::make(_tpid,this).get_m().to_pred (c, steps);
  373.    
  374.    TT (agg_H, T_LEAVE);
  375.    return result;
  376. } // ** to_pred **
  377.